Section: Dissemination
Scientific Animation
-
Frédéric Blanqui was member of the Steering Committee of the International Conference on Rewriting Techniques and Applications (RTA) for 3 years until June 2013.
-
Frédéric Blanqui was invited to present his work on “the formalization of λ-calculus and Tait-Girard's notion of computability” at the 3rd Workshop on Proof Theory and Rewriting (PR), March 2013, Kanazawa, Japan.
-
Vania Joloboff has organized a LIAMA Open Day in Shanghai in May 2013, in collaboration with East China Normal University.